$\vdash$  $\downarrow$WellFnd\{1\}($\mathbb{N}$;$u$,$v$.($\lambda$$i$,$j$. $i$ $<$ $j$)($u$,$v$))